Boomerang is a GPL decompiler, which allows programmers to translate a binary program into C-like source code. Boomerang uses Static Single Assignment Form to represent code.